$\forall$$i$, $j$:$\mathbb{Z}$, $x$, $y$:\{$i$..$j$$^{-}$\}. Dec($x$ = $y$)